Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages
نویسنده
چکیده
منابع مشابه
Perho, Irmeli. Catalogue of Persian Manuscripts: Codices Persici, Codices Eyseriani, Codex Persicus Add. Copenhagen: NIAS Press and Det Kongelige Bibliotek, 2017. Hardback, pp. 706. ISBN: 978-87-7694-216-8.
متن کامل
Worldwide Asset and Liability Modeling; W.T. Ziemba and J.M. Mulvey (eds.); Cambridge University Press, Cambridge, 1998, ISBN: 0-521-57187-1, hardback (US$ 95.00)
متن کامل
Nitric oxide in health and disease.
by Jill Lincoln, Charles H.V. Hoyle and Geoffrey Burnstock, Cambridge University Press, 1997. pound24.95 (pbk)/ pound70.00 (hbk) (xiv +363 pages) ISBN 0 521 55977 4/0 521 55038 6.
متن کاملAlgebraic Codes for Data Transmission
published by the press syndicate of the university of cambridge A catalogue record for this book is available from the British Library ISBN 0 521 55374 1 hardback Contents Preface page xi 1 Introduction 1 1.1 The discrete communication channel 2 1.2 The history of data-transmission codes 4 1.3 Applications 6 1.4 Elementary concepts 7 1.5 Elementary codes 14 Problems 17
متن کاملAnimal Learning and Cognition: A neural network approach.
by Nestor A. Schmajuk, Cambridge University Press, 1997. £29.95 (xii+340 pages) ISBN 0 521 45086 1.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- TPLP
دوره 17 شماره
صفحات -
تاریخ انتشار 2017